Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures
نویسندگان
چکیده
We revisit the problem of detecting the termination of a distributed application in an asynchronous message-passing model with crash-recovery failures and failure detectors. We derive a suitable definition of termination detection in this model but show that this definition is impossible to implement unless you have a failure detector which can predict the future. We subsequently weaken the problem and strengthen the failure model to allow solvability.
منابع مشابه
Safe Termination Detection in an Asynchronous Distributed System When Processes May Crash and Recover
The termination detection problem involves detecting whether an ongoing distributed computation has ceased all its activities. We investigate the termination detection problem in an asynchronous distributed system under crash-recovery model. It has been shown that the problem is impossible to solve under crash-recovery model in general. We identify two conditions under which the termination det...
متن کاملNetwork Synchronization in the Crash-Recovery Model
This work investigates the amount of information about failures required to simulate a synchronous distributed system by an asynchronous distributed system prone to crash-recovery failures. A failure detection sequencer ΣCR for the crash-recovery failure model is defined, which outputs information about crashes and recoveries and about the state of the crashed or recovered processes. Using the ...
متن کاملNetwork Synchronization in the Crash-Recovery Model Synchronisationsalgorithmen in verteilten Systemen mit Anhalte-Ausfällen und Neustarts
This work investigates the amount of information about failures required to simulate a synchronous distributed system by an asynchronous distributed system prone to crash-recovery failures. A failure detection sequencer ΣCR for the crash-recovery failure model is defined, which outputs information about crashes and recoveries and about the state of the crashed or recovered processes. Using the ...
متن کاملBrief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures
In practice, it cannot easily be detected whether a computation running in a distributed system has terminated or not. Thus, suitable observing algorithms are required to solve this problem of termination detection. A termination detection algorithm involves a computation of its own and the computation it observes without interfering it. Additionally, it satisfies two properties: (1) it should ...
متن کاملOn Detecting Termination in the Crash-Recovery Model
We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is impossible to solve the termination detection problem in this model. We identify necessary and sufficient conditions under which it is possible to solve the stabilizing version of the problem in which a termination d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006